function $(id){
	return document.getElementById(id);
}
function $$(name){
	return document.getElementByName(name);
}